$\forall$$k$:FinProbSpace, $n$:$\mathbb{N}$. RandomVariable($k$;$n$) $\in$ Type